Implication Details

Assumptions: filtered-colimit-stable monomorphisms, self-dual

Conclusions: cofiltered-limit-stable epimorphisms

Reason: This holds by self-duality.